Computer assisted proof of drift orbits along normally hyperbolic manifolds II: Application to the restricted three body problem

We present a computer assisted proof or diffusion in the Planar Elliptic Restricted Three Body Problem. treat elliptic problem as perturbation of circular problem, where parameter is eccentricity primaries. The unperturbed system preserves energy, and we show that for sufficiently small perturbations have orbits with explicit energy changes, independent from size perturbation. result based on shadowing along transversal intersections stable/unstable manifolds normally hyperbolic cylinder.